Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
11	A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C Add to Reading List Source URL: academic.johnjcamilleri.com - Date: 2014-04-23 15:38:23
12	Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
13	Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2005-03-06 09:02:36
14	Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas Add to Reading List Source URL: logic.cse.unt.edu - Date: 2011-01-23 15:58:50
15	Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant Add to Reading List Source URL: logic.cse.unt.edu - Date: 2010-09-25 09:01:59
16	Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany Add to Reading List Source URL: i12www.iti.kit.edu - Date: 2009-01-05 04:34:04
17	STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science Add to Reading List Source URL: mizar.org - Date: 2010-03-05 21:10:35

UPDATE